BAR Games
نویسندگان
چکیده
This paper describes a general methodology for simplifying the design and analysis of BAR protocols. BAR protocols allow the participation of Byzantine, Altruistic, and Rational players. Because BAR protocols tolerate both arbitrary behaviors by some nodes and selfish behavior by the rest, they are appropriate for service and applications spanning multiple administrative domains. We focus our attention on IC-BFT protocols that (a) guarantee a set of safety and liveness properties to all non-Byzantine nodes and (b) insure that rational nodes follow the protocol faithfully. We rely on existing techniques to show that safety and liveness are maintained when all non-Byzantine nodes follow the protocol. In order to show that rational nodes follow the protocol faithfully, we decomponse the BAR game corresponding to the problem specification into a combination of a n-player benefit game and a collection of n 2-player cost games. We provide a set of sufficient properties to show that the protocol is a CBE in the benefit game and that rational nodes will thus follow the protocol faithfully. We present the first synchronous IC-BFT TRB protocol, basing our protocol design on these properties. University of Texas at Austin Computer Sciences Technical Report 06-25
منابع مشابه
Bar chart ball, a data game
We describe Bar Chart Ball, a game where players indirectly control a ball by modifying a bar chart that the ball rests on. The bar chart displays real-world demographic data about the UK, and the player modifies the chart by selecting which aspect of the data to focus on. By making data selection a core game mechanic, in fact the only game mechanic, we advance a novel and simple way of buildin...
متن کاملThe Value of Ignorance about the Number of Players
In the game known as the El-Farol bar, each player decides whether to come to the bar or stay at home (Arthur 1994). Normally, every player prefers to enjoy the party, however if the bar becomes congested beyond its capacity, the police closes the place, inflicting severe trauma on all party-goers. A variant of the problem (which is perhaps more realistic) is where the discomfort of the party-g...
متن کاملThe margin for error when releasing the high bar for dismounts.
In Men's Artistic Gymnastics the current trend in elite high bar dismounts is to perform two somersaults in an extended body shape with a number of twists. Two techniques have been identified in the backward giant circles leading up to release for these dismounts (J. Biomech. 32 (1999) 811). At the Sydney 2000 Olympic Games 95% of gymnasts used the "scooped" backward giant circle technique rath...
متن کاملOn Bar Recursion and Choice in a Classical Setting
We show how Modified Bar-Recursion, a variant of Spector’sBar-Recursion due to Berger and Oliva can be used to realize the Axiomof Choice in Parigot’s Lambda-Mu-calculus, a direct-style language forthe representation and evaluation of classical proofs.We rely on Hyland-Ong innocent games. They provide a model to per-form the usual infinitary reasoning on Bar-Recursion needed...
متن کاملChange Point Estimation of Bar Code Signals
Existing methods for bar code signal reconstruction is based on either the local approach or the regularization approach with total variation penalty. We formulate the problem explicitly in terms of change points of the 0-1 step function. The bar code is then reconstructed by solving the nonlinear least squares problem subject to linear inequality constraints, with starting values provided by t...
متن کامل